#include "sysConfig.h"

int CPU_TICK_PER_SEC = 1000;

static int RpcSerInitOK =0;

void rpc_serv_init_done()
{
	RpcSerInitOK = 1;
}

int rpc_serv_get_init_done()
{
	return RpcSerInitOK;
}
